翻訳と辞書 |
persistent functional language : FOLDOC | Persistent Functional Language (PFL) A functional database language developed by Carol Small at Birkbeck College, London, UK and Alexandra Poulovassilis (now at {King's College London}). In PFL, functions are defined equationally and bulk data is stored using a special class of functions called selectors. PFL is a lazy language, supports higher-order functions, has a strong polymorphic type inference system, and allows new user-defined data types and values. All functions, types and values persist in a database. Functions can be written which update all aspects of the database: by adding data to selectors, by defining new equations, and by introducing new data types and values. PFL is "semi-referentially transparent", in the sense that whilst updates are referentially opaque and are executed {destructive}ly, all evaluation is referentially transparent. Similarly, {type checking} is "semi-static" in the sense that whilst updates are
スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース |
Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.
|
|